Ensemble totalement ordonné \((E,\leqslant)\)
Ensemble ordonné pour lequel deux éléments sont toujours
comparables.$$\forall x,y\in E,\qquad x\leqslant y\quad\text{ ou }\quad y\leqslant x$$
- si \((E,\leqslant)\) est ordonné, mais pas totalement ordonné, alors on dit qu'il est partiellement ordonné
